// Manon portal

void portal(Player @player, Portal @portal) {
if (player.getChannel().getMap(240020401).getPlayers().getPlayersCount() < 6)
	player.changeMap(240020401, "out00");
else
	player.showMessage("Too many people are inside already, wait until the next battle.");
}